Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
λ Functional Programming
Category theory, Monads, Pure functions, Type systems
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
6390
posts in
73.9
ms
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔍
Parsers
I Built a
Programming
Language Where think Is a
Keyword
dev.to
·
58m
·
Discuss:
DEV
🐫
OCaml
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
1d
🐫
OCaml
Lambda
cube
en.wikipedia.org
·
5d
·
Discuss:
Lobsters
🐫
OCaml
Mad Rust: The
JVM
Developer's Journey. Kotlin/Java Developer's Road to
Valhalla
sobolev.substack.com
·
3d
·
Discuss:
Substack
🦀
Rust
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
23h
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
3d
·
Discuss:
Lobsters
🐫
OCaml
Beyond
agentic
coding
haskellforall.com
·
1h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🪶
suckless
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🐫
OCaml
Built a tiny fast library for catching
obvious
prompt
injections
reddit.com
·
1d
·
Discuss:
r/golang
🕸️
WASM
Layered
Modal ML: Syntax and Full
Abstraction
arxiv.org
·
3d
🐫
OCaml
mstrYoda/goraphdb
: A graph database implemented in Golang
github.com
·
1d
·
Discuss:
r/programming
🔍
Query Optimization
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
1d
🔍
Parsers
impl Rust: Avro
IDL
tool in Rust via
ANTLR
youtube.com
·
21h
·
Discuss:
Hacker News
🐫
OCaml
ML-LIB
: Machine Learning Library Proposed For The Linux Kernel
phoronix.com
·
23h
·
Discuss:
Hacker News
🐫
OCaml
C
Programming
: A Complete
Beginner
's Guide to Starting Your Coding Journey
dev.to
·
8h
·
Discuss:
DEV
🪶
suckless
Text classification with Python 3.14's
zstd
module • Max
Halford
maxhalford.github.io
·
1d
·
Discuss:
Lobsters
,
Hacker News
🔍
Parsers
java
sucks
(2000)
jwz.org
·
4d
·
Discuss:
Lobsters
🪶
suckless
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🕸️
WASM
Flavours
of
Reflection
semantics.bernardteo.me
·
5d
·
Discuss:
Lobsters
,
r/cpp
🐫
OCaml
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help